Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es Unitarian Church - definición
Бубба Черч; Emory Nicholas "Bubba" Church; Emory Nicholas Church
Чёрч
ФАМИЛИЯ - CHURCH
Черч
(Church)
Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947-1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что Разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики (См. Логическая семантика) и модальной логики.
Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.
Лейквуд-чёрч-сентрал-кампус
Ле́йквуд-чёрч-се́нтрал-ка́мпус () — мегацерковь в городе Хьюстон, штата Техас. Вмещает до 16 тысяч прихожан.
Чёрч, Алонзо
АМЕРИКАНСКИЙ МАТЕМАТИК
Алонзо Чёрч; Черч, Алонзо; Алонзо Черч; Чёрч Алонзо; Чёрч А.; Черч А.; Черч Алонзо; Alonzo Church
Алонзо Чёрч (; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Wikipedia
Черч, Бубба
Эмори Николас «Бубба» Черч (англ. Emory Nicholas «Bubba» Church, 12 сентября 1924, Бирмингем, Алабама — 17 сентября 2001, там же) — американский бейсболист, питчер. Выступал в Главной лиге бейсбола с 1950 по 1955 год.
